航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

速率模式飞轮姿态控制系统飞轮组合平稳切换方法

对速率模式飞轮姿态控制系统的能控性、稳定性和飞轮组合切换过程进行了研究，揭示了在飞轮组合切换过程中引起卫星姿态抖动的原因，提出了通过对残余角动量进行卸载并将卸载函数同时前馈到系统输入的方法，以保持卫星姿态的稳定度。从理论上证明了可引入残余角动量进行卸载，将卸载函数同时前馈到系统输入，并且不改变原系统的能控性和稳定性。给出了某卫星飞轮切换应用实例，说明了飞轮组合平稳切换方法的有效性。     

一种基于模糊控制的平稳滑翔再入制导律

针对升力式高超声速飞行器(LHV)再入滑翔过程中的周期性振荡现象，提出了一种基于模糊推理与控制的反馈调节方法以抑制振荡实现平稳滑翔。纵向制导在落点误差预测及指令校正的基础上，在倾侧角外环控制回路增加以高度变化率及空速作为输入的模糊控制器对倾侧角指令进行调节，横侧向制导通过航向角误差走廊约束及倾侧角反转逻辑实现大横程条件下的侧向控制。所提方法不依赖于准平衡滑翔条件(QEGC)，同时避免了参数化反馈控制律中的反馈项参数设计问题，具有较强的自适应能力。LHV制导实例仿真表明，所提方法可有效抑制振荡现象，满足终端约束及再入走廊约束，方法的鲁棒性也通过Monte Carlo仿真得到了验证。      

基于ESO的高超声速飞行器解耦控制

针对高超声速飞行器三通道具有强耦合的问题，提出一种基于扩张状态观测器的全通道解耦控制方法。该方法不需要根据耦合项特点设计耦合补偿模型，而是通过设计扩张状态观测器，将高超声速飞行器耦合项视为扰动，利用扩张状态观测器具有实时跟踪估计扰动的能力，将耦合项扰动估计出来。通过补偿控制来消除耦合的影响，从而完成解耦控制。进一步，通过LQR控制方法完成姿态控制系统的闭环反馈控制律设计，最终实现一种工程上实用的高超声速飞行器解耦控制方法，并通过数学仿真验证了该控制方法的正确性和有效性。     

NiCrAl/Diatomite可磨耗封严涂层制备及性能

分别利用大气等离子喷涂技术制备了Ni/Al粘结底层、火焰喷涂技术制备了NiCrAl/Diatomite可磨耗封严涂层，研究了喷涂距离、送粉速率、火焰气体总流量、喷涂角度和氧燃比等喷涂参数对生长速率和涂层硬度的影响。结果表明，在较低的氧燃比条件下（O₂∶C₂H₂<1.6），随着喷涂距离的增大，涂层生长速率逐渐下降，硬度先保持不变后逐渐上升；当O₂∶C₂H₂>1.6时，涂层的生长速率会随着喷涂距离的增大先增大后减小，硬度随之逐渐下降。随着喷枪对基体相对移动速度的增大，涂层生长速率略微下降，硬度略有上升。气体总流量的增大使得涂层的生长速率明显上升，硬度明显下降。随着送粉量的增大，涂层生长速率明显提高，硬度随之先上升后下降。     

相关函数在涡流检测信号提取分析中的应用

为降低涡流检测信号处理的硬件复杂程度及提升后续数据分析处理灵活度，在不借助复杂硬件自平衡技术电路前提下，在LABVIEW图形化软件平台中设计了相关函数算法程序，对示波器MDO4024C所采集的原始交流电桥信号及电桥激励信号分别进行自相关及互相关运算去噪，提取分析不锈钢管不同位置的涡流信号的幅值及相位，最后再将检测信号在极坐标图中分析显示。实验结果表明，这一方法可有效实现对不锈钢管缺陷涡流信号的去噪及特征信号提取。     

晶体管h参数微变等效电路的研究

晶体管h参数微变等效电路是电子技术中求解低频、小信号放大电路常用的分析方法.本文通过具体分析,将模拟放大电路进行了新的分类,并且明确而系统地给出运用微变等效电路求解各类模拟放大电路动态指标Av、ri和γ0公式、解题难点及规律.     

在各级学校开展五人制足球势在必行

通过比较与分析研究,在各级学校开展五人制足球赛,有利于推动全民健身运动,促进学校足球运动的开展与提高,缓解学校体育活动场所供需矛盾,从而推动我国足球运动的发展与普及。     

Space Astronomy in China:2002-2004

More and more proposals, or potential projects have been proposed in recent two years. We try to briefly outline these new proposals, although most of them are in fact only in their conception studies. The progress of previously mentioned projects, like Space Solar Telescope (SST), the Hard X-ray Modulation Telescope (HXMT), as well as newly initiated LUnar Resource Explorer (LUREX), will be introduced elsewhere.     

一种卫星间跟瞄方向的控制策略与实现

进行自由空间的光通信或空间对抗，需要在卫星间实现精确的跟踪与瞄准。因为地面测控站的设置非常有限，指令与数据注入的范围受到很多限制，所以要求这种跟瞄在很多时候是无主控制状态下完成的。提出了一种利用在地面测控站的范围内向星上数管中心注入目标卫星、本体卫星的轨道参数，其它时间依靠自主导航飞行和GPS修正的方法，结合本体星的姿态测量、振动测量实现卫星瞄准指向的方位角与俯仰角的精确控制的方法，提高了在地面站无法注入指令与数据时卫星的捕获概率。通过仿真，将计算结果与卫星仿真工具软件STK的数据进行比较，结果一致。最后在嵌入式DSP平台上实现了这一策略。